// Output created by jacc on Fri Sep 19 00:22:59 CEST 2014

package it.unicam.fishpass.prism.parser;

interface FishPassParserTokens {
    int ENDINPUT = 0;
    int AND = 1;
    int ARC = 2;
    int AUTODECREMENT = 3;
    int AUTOINCREMENT = 4;
    int CAPS = 5;
    int CLOCK_DEC = 6;
    int COMMA = 7;
    int DIVIDE = 8;
    int EQ = 9;
    int FALSE = 10;
    int FF = 11;
    int GEQ = 12;
    int GR = 13;
    int LBRACK = 14;
    int LEQ = 15;
    int LS = 16;
    int LSBRACK = 17;
    int MINUS = 18;
    int MINUSINF = 19;
    int MOD = 20;
    int NODE_DEC = 21;
    int NUM = 22;
    int NUMERIC = 23;
    int PLUS = 24;
    int PLUSINF = 25;
    int POINT = 26;
    int RBRACK = 27;
    int RSBRACK = 28;
    int SEMI = 29;
    int SEPARATOR = 30;
    int TILDE = 31;
    int TIMES = 32;
    int TRUE = 33;
    int TT = 34;
    int URGARC = 35;
    int VAR = 36;
    int VARIABLE_DEC = 37;
    int WHITE_SPACE_CHAR = 38;
    int automaton = 39;
    int bool = 40;
    int endautomaton = 41;
    int error = 42;
    int l_init = 43;
    int maxtime = 44;
}
